\begin{tabbing}
sender{-}glues{-}triggers{-}p(${\it es}$; $A$; $l$; ${\it tg}$; ${\it ds}$; ${\it conds}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=es{-}triggers{-}params{-}consistent(${\it es}$;$A$;source($l$);${\it ds}$;${\it conds}$)\+
\\[0ex]\& ($\forall$$e$:E. (kind($e$) = rcv($l$,${\it tg}$)) $\Rightarrow$ (valtype($e$) $\subseteq$r $A$))
\\[0ex]\& glues(\=${\it es}$;\+
\\[0ex]$A$;
\\[0ex]($\lambda$$e$.sender($e$));
\\[0ex]($\lambda$$e$.outl((${\it conds}$(kind($e$)).2)((state when $e$),val($e$))));
\\[0ex]es{-}triggers(${\it es}$;source($l$);${\it ds}$;${\it conds}$);
\\[0ex]es{-}in{-}port(${\it es}$;$l$;${\it tg}$))
\-\-
\end{tabbing}